شهید حاج سلیمان میرشاهی، شهیدی که همزمان با امام راحل تشییع پیکر شد